(0 7 3)(1 20 18)(2 16 11)(4 19 5)(6 10 8)(9 14 12)(13 17 15)
ALLOWS (11/8)-SEQUENCE
1: (5 15 19)
(0 7 3)(1 20 18)(2 16 11)(4 19 13 17 15)(5)(6 10 8)(9 14 12)
2: (2 16 11)
(0 7 3)(1 20 18)(2)(4 19 13 17 15)(5)(6 10 8)(9 14 12)(11)(16)
3: (0 7 3)
(0)(1 20 18)(2)(3)(4 19 13 17 15)(5)(6 10 8)(7)(9 14 12)(11)(16)
4: (13 17 15)
(0)(1 20 18)(2)(3)(4 19 13)(5)(6 10 8)(7)(9 14 12)(11)(15)(16)(17)